TU Dresden - PDFSEARCH.IO - Document Search Engine

TU Dresden
Results: 830

#	Item
61	On Structuring Proof Search for First Order Linear Logic Add to Reading List Source URL: www.ki.inf.tu-dresden.de - Date: 2006-03-26 13:44:51
62	28 JuneNon-commutativity and MELL in the Calculus of Structures Alessio Guglielmi and Lutz Straßburger Technische Universit¨ Add to Reading List Source URL: www.ki.inf.tu-dresden.de - Date: 2005-09-20 10:33:34
63	PDF Document Add to Reading List Source URL: www.ki.inf.tu-dresden.de - Date: 2006-03-26 13:38:52
64	Appears in the proceedings of CollaborateCom 2005, San Jose, CA, USA The Nizza Secure-System Architecture Hermann Härtig Michael Hohmuth Norman Feske Add to Reading List Source URL: os.inf.tu-dresden.de - Date: 2005-10-19 10:10:05
65	TU_Dresden_Success_Story-CN Add to Reading List Source URL: images.nvidia.com - Date: 2016-02-03 02:18:14
66	TECHNISCHE UNIVERSITÄT DRESDEN Fakultät Informatik TUD-FI06-07 Dezember 2006 Add to Reading List Source URL: os.inf.tu-dresden.de - Date: 2007-01-04 08:10:21
67	Microsoft Word - AG4-ConsistencyWithoutCutElim Add to Reading List Source URL: www.ki.inf.tu-dresden.de - Date: 2007-09-22 07:35:49
68	Grundsätze zur Gestaltung von Texten für die Schriftenreihen und die Zeitschrift TD Stand: 6. Juni 2013 Add to Reading List Source URL: www.hait.tu-dresden.de - Date: 2014-04-29 10:24:40
69	Introduction Objectives Approach Add to Reading List Source URL: st.inf.tu-dresden.de - Date: 2012-10-22 13:14:45
70	Jürgen Henniger Arbeitsgruppe Strahlungsphysik (ASP) des Instituts für Kern- und Teilchenphysik (IKTP) Andreas-Schubert-Bau 409A Add to Reading List Source URL: pssrs1.phy.tu-dresden.de - Date: 2014-10-27 03:04:14